- язык основанный на логике предикатов
- Mechanics: predicate logic language
Универсальный русско-английский словарь. Академик.ру. 2011.
язык основанный на логике предикатов
Смотреть что такое "язык основанный на логике предикатов" в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см … Философская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
НЕОПОЗИТИВИЗМ — или логический позитивизм (логический эмпиризм) одно из основных направлений философии 20 в., соединяющее основные установки позитивистской философии с широким использованием технического аппарата математической логики. Основные идеи Н. были… … Философская энциклопедия
Войшвилло, Евгений Казимирович — У этого термина существуют и другие значения, см. Евгений Войшвилло. Евгений Казимирович Войшвилло Дата рождения: 14 сентября 1913(1913 09 14) … Википедия
Войшвилло — Войшвилло, Евгений Казимирович У этого термина существуют и другие значения, см. Евгений Войшвилло. Евгений Казимирович Войшвилло Дата рождения: 14 сентября 1913 … Википедия
